Fix tiny fonts in win32 theme

broken since df08fc91... (css: always get default font size in pixels)

https://bugzilla.gnome.org/show_bug.cgi?id=773221

diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index c0f392ce16e8150663cb86e37c13b65d147488df..7532e1c20227b796267898c2e1c508ac23e47fc7 100644 (file)
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -23,7 +23,7 @@
 viewport {
     /* XXX: This should be the default, but isn't?! */
     font-family: "Segoe UI", Sans;
-    font-size: 9px;
+    font-size: 9pt;
     background-color: -gtk-win32-color(window, btnface);
     color: -gtk-win32-color(window, btntext);
 }